Modeling and analysis of knowledge in automated planning: an approach based on GORE...

Systemic modeling of industrial processes continuous improvement through Six Sigma...

Association of Petri nets with virtual and real objects for controlling immersive...

Metamodel for modeling and discrete-event system simulation based in Petri net and...

Availability assessment of a gas treatment system in offshore installations using...

Modeling and analysis of requirements of automated systems using UML and Petri n...

Modeling and performance analysis of flexible manufacturing systems using timed Petri...

Cost modeling in manufacturing systems using Petri nets

The application of mutation testing in the context of testing and validation of coloured...

Proteum-RS/PN: a mutation-based tool for validating Petri nets